function page_load() {
document.images["whatsnew"] = new Image();
document.images["whatsnew"].src = "whatsnewani.gif";
document.images["downloads"] = new Image();
document.images["downloads"].src = "downloadsani.gif";
document.images["screenshots"] = new Image();
document.images["screenshots"].src = "screenshotsani.gif";
document.images["gamehistory"] = new Image();
document.images["gamehistory"].src = "gamehistoryani.gif";
}

function move_in(img_name,img_src) {
document.images[img_name].src=img_src;
}

function move_out(img_name,img_src) {
document.images[img_name].src=img_src;
}
